Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
521	Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013 Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2016-03-03 13:09:40
522	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2016-03-03 13:09:40
523	JavaUI : Effects for Controlling UI Object Access (Extended Version)? Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:11:38 Computing Software engineering Type theory Data types Java Object-oriented programming Swing Type system Polymorphism
524	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2016-03-03 13:09:40
525	FRAMEWORK OF INDICATORS AND SOURCE DATA for WPFP 2014 INTRODUCTION: SOURCE DATA There are three types of indicators: a) data-based indicators, b) policy indicators, and 3) performance indicators. For each indicator a def Add to Reading List Source URL: www.workingpoorfamilies.org Language: English - Date: 2014-07-02 16:14:08
526	Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-24 14:36:30 Logic in computer science Program analysis Substructural logic Concurrent computing Aliasing Compiler construction Separation logic Alias Thread Assertion OCaml Type system
527	Python basics Xiao-jiang Li, Ph. D Candidate Department of Geography, UCONN Introduction of Python • Python is ideal for non-professional programmers Add to Reading List Source URL: scholarscollab.uconn.edu Language: English - Date: 2015-10-07 13:10:57 Software engineering Software Computing Data types Formal languages Free statistical software Python NumPy Pandas String Scripting language Python syntax and semantics
528	34 Genome Informatics 16(1): 34–A Gibbs Sampling Approach to Detection of Tree Motifs Lidio Marx Carvalho Meireles Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2005-12-28 10:55:28 Data types Knowledge representation Computational phylogenetics Frequent subtree mining B-tree Binary trees Tree Planted motif search
529	Dependent Types for Enforcement of Information Flow and Erasure Policies in Heterogeneous Data Structures Gordon Stewart Anindya Banerjee Add to Reading List Source URL: oucsace.cs.ohiou.edu Language: English - Date: 2013-08-07 09:58:15
530	t-regex Matching using tree regular expressions Alejandro Serrano Mena Universiteit Utrecht Add to Reading List Source URL: wwwhome.cs.utwente.nl Language: English - Date: 2015-01-13 10:58:08 Software engineering Computer programming Declarative programming Functional programming Data types Formal languages Regular expressions Pattern matching List Cons TRE Algebraic data type

UPDATE